[1] Livres I à V.--t. 2. Livres de VI à X.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

We show that there is a strong minimal pair in the computably enumerable Turing degrees, i.e. a pair of nonzero c.e. degrees a and b such that a∩b = 0 and for any nonzero c.e. degree x ≤ a, b ∪ x ≥ a.

Supporters of eliminative connectionism have argued for a pattern association-based explanation of language learning and language processing. They deny that explicit rules and symbolic representations play any role in language processing and cognition in general. Their argument is based to a large extent on two artificial neural network (ANN) models that are claimed to be able to learn the past tenses of English verbs (Rumelhart & McClelland, 1986, Parallel distributed processing, Vol. 2, Cambridge, MA: MIT Press; MacWhinney & Leinbach, 1991, (...) Cognition, 40, 121-157). In this article we critically review Rumelhart and McClelland's as well as MacWhinney and Leinbach's ANN models and conclude that they do not succeed in the assigned task of learning the past tenses of English verbs. In order to answer their challenge to the symbolic processing approach, we present our symbolic pattern associator (SPA)-a general-purpose pattern associator that can learn to associate arbitrary discrete patterns. We carried out several experiments with the SPA using the same set of verbs that was used in MacWhinney and Leinbach's simulation with more realistic training and testing procedures. The SPA outperformed the connectionist models by a wide margin in the accuracy of learning, and successful inductive generalizations to unseen verbs. Our SPA has very natural and psychologically realistic explanations to many psychological effects such as U-shaped learning curve, and is much closer to human subjects in predicting past tense of the pseudo-verbs. In contrast to ANNs, whose internal representations are entirely opaque, the SPA can represent the acquired knowledge in the form of production rules that allow for further higher-level processing and integration, resulting in linguistically realistic associative templates for irregular verbs and production rules for regular verbs. In the light of these findings, we conclude that eliminative connectionists' vision of cognition as simple pattern association and pattern recognition without symbolic representation is inadequate. Pattern association as such does not imply rule-less or cue-based models of language acquisition or of human learning in general. (shrink)

Books Reviewed in this Article: Transforming Bible Study. By Walter Wink. Pp.175, London, SCM Press, 1981, £3.50. Isaiah 1–39. By R.E. Clements. Pp.xvi. 301, London, Marshall, Morgan and Scott, 1980, £3.95. Isaiah 40–66. By R.N. Whybray. Pp.301, London, Marshall, Morgan and Scott, 1975, Reprinted 1981, £3.95. Die Gestalt Jesu in den synoptischen Evangelien. By Heinrich Kahlefeld. Pp.264, Frankfurt, Verlag Josef Knecht, 1981, no price given. Following Jesus: Discipleship in the Gospel of Mark. By Ernest Best. Pp.283, Sheffield, JSOT Press, 1981, (...) £15.00, £5.95. The Origin of Paul's Gospel. By Seyoon Kim. Pp.xii, 391, Tübingen, J.C.B. Mohr, 1981, 78 DM. An die Römer. By Ernst Käsemann. Pp.xvi, 411, Tübingen, J.C.B. Mohr, 1980, 48 DM. Les Récits de Resurrection des Morts dans le Nouveau Testament. By Gerard Rochais. Pp.xv, 252, Cambridge, Cambridge University Press, 1981, £15.00. Prêtres Anciens, Prétre Nouveau selon le Nouveau Testament. By Albert Vanhoye. Pp.366, Paris Editions du Seuil, 1980, no price given. Woman in the World of Jesus. By Evelyn and Frank Stagg. Pp.292, Edinburgh, The St Andrew Press, 1981, no price given. Jesus, Man and the Church. By Karl Rahner. Pp.260, London, Darton Longman & Todd, 1981, £14.50. Jesus Lord and Savior: A Theopathic Christology and Soteriology. By William M. Thompson. Pp.ix, 287, Leominster, Fowler Wright, 1981, £7.45. God and World in Schleiermacher's ‘Dialektik’ and ‘Glaubenslehre’. Criticism and the Methodology of Dogmatics. By John E. Thiel. Pp.xiv, 239, Bern, Frankfurt and Las Vegas, Peter Lang, 1981, SF 49.50. Ministry: A Case for Change. By Edward Schillebeeckx. Pp.ix, 165, London, SCM Press, 1981, £4.95. The Sacraments: Readings in Contemporary Sacramental Theology. Edited by Michael J. Taylor. Pp.274, New York, Alba House, 1981, $7.95. Believing in the Church: The Corporate Nature of Faith. A Report by the Doctrine Commission of the Church of England. Pp.ix, 310, London, SPCK, 1981, £8.50. Confessing the Faith in the Church of England Today. By R.T. Beckwith. Pp.36, Oxford, La timer House, 1981, £1.00. A Kind of Noah's Ark? The Anglican Commitment to Comprehensiveness. By J.I. Packer. Pp.39, Oxford, Latimer House, 1981, £1.00. Reasonable Belief: A Survey of the Christian Faith. By Anthony Hanson and Richard Hanson. Pp.xii, 283, Oxford University Press, 1981, £8.50. Doctrine in the Church of England. The 1938 Report with a new introduction by G.W.H. Lampe. Pp.lx, 242, London, SPCK, 1982, £8.50. The Divine Right of the Papacy in Recent Ecumenical Theology. By J. Michael Miller. Pp.xvi, 322, Rome, Università Gregoriana Editrice, 1980, 18,000 Lire. Der heilige Geist in der Theologie von Heribert Mühlen: Versucheiner Darstellung und Würdigung. By John B. Banawiratma. Pp.ix, 310, Frankfurt and Bern: Peter D. Lang, 1981, SFr. 60.00. Standing Before God: Studies on Prayer in Scriptures and Tradition with Essays in Honor of John M. Oesterreicher. Edited by Asher Frinkel and Lawrence Frizzell. Pp.410, New York, Ktav Publishing House, 1981, $29.50. Judaism and Healing. By J. David Bleich. Pp.xiii, 199, New York, Ktav, 1981, $15.00. The Diversity of Moral Thinking. By Neil Cooper. Pp.x, 303, Oxford, Clarendon Press: Oxford University Press, 1981, £15.00. L'Homme: Sujet ou Objet? By Jacques Croteau. Pp.260, Montreal, Bellarmin: Tournai, Desclée et Cie, 1981, $15.00. The Texture of Knowledge: An Essay on Religion and Science. By James W. Jones. Pp.97, Washington, University Press of America, 1981, no price given. Cosmos and Creator. By Stanley L. Jaki. Pp.xii, 168, Edinburgh, Scottish Academic Press, 1980, £6.75. Dante, Philomythes and Philosopher: Man in the Cosmos. By Patrick Boyde. Pp.vii, 408, Cambridge, Cambridge University Press, 1981, £30.00. Dissidence et Philosophie au Mayen Âge. By E.L. Fortin. Pp.201, Montreal, Bellarmin, 1981, $12.00. The Philosophy of John Norris of Bemerton. By Richard Acworth. Pp.x, 388, Hildesheim, Georg Olms, 1979, 74 DM. Philosophy and Ideology in Hume's Political Thought. By David Miller. Pp.xii, 218, Oxford, Clarendon Press, 1981, £15.00. Hegelianism. By John Edward Toews. Pp.x, 450, Cambridge, Cambridge University Press, 1980, £25.00. One Hundred Years of Thomism. Edited by V.B. Brezik. Pp.210, Houston, Centre for Thomistic Studies, 1981, no price given. Gramsci's Political Thought: Hegemony, Consciousness and the Revolutionary Process. By J.V. Femia. Pp.xiii, 303, Oxford, Clarendon Press, 1981, £17.50. Greek and Roman Slavery. By Thomas Wiedemann. Pp.xvi, 284, London, Croom Helm, 1981, £10.95, £5.95. Prophecy and Millenarianism. Essays in Honour of Marjorie Reeves. Edited by Ann Williams. Pp.x, 355, London, Longman, 1980, £25.00. Of Prelates and Princes: A Study of the Economic and Social Position of the Tudor Episcopate. By Felicity Heal. Pp.xv, 353, Cambridge, Cambridge University Press, 1980, £17.50. Radical Religious Movements in Early Modern Europe. By Michael Mullett. Pp.xxiv, 193, London, George Allen & Unwin, 1980, £10.50. The Jesuits. By J.C.H. Aveling. Pp.390, London, Blond and Briggs, 1981, £16.95. The Beginnings of Ideology. By Donald R. Kelley. Pp.xv, 351, Cambridge, Cambridge University Press, 1981, £24.00. Utopia and the Ideal Society: A Study of English Utopian Writing 1516–1700. By J.C. Davis. Pp.x, 427, Cambridge, Cambridge University Press, 1981, £25.00. Eastern Politics of the Vatican 1917–1979. By Hansjakob Stehle. Pp.466, Athens, Ohio University Press, 1981, £16.20, £8.10. Structuralism or Criticism? By Geoffrey Strickland. Pp.viii, 209, Cambridge, Cambridge University Press, 1981, £17.50. The Call of God: The Theme of Vocation in the Poetry of Donne and Herbert. By Robert B. Shaw. Pp.xiii, 123, Cambridge, Mass., Cowley Publications, 1981, $5.00. John and Charles Wesley: Selected Prayers, Hymns, Journal Notes, Sermons, Letters and Treatises. Edited by Frank Whaling. Pp.xx, 412, London, SPCK, 1981, £8.95. The Trickster in West Africa: A Study of Mythic Irony and Sacred Delight. By Robert D. Pelton. Pp.312, Berkeley, University of California Press, 1980, £15.00. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:53. AN INDEX OF HUME'S REFERENCES IN A TREATISE OF HUMAN NATURE The index below of Hume's references in the Treatise te the works of other authors excludes those which are accurate and full in his text (of which there are few) and those which are so general, e.g., to Spinoza's atheism, that no passage is specifiable. Hume mentions other writings, for which this index is compiled, in several (...) different ways. Occasionally he mentions the author's name, the title of his book and gives a reference which is less specific than it could be. These have been identified. Often he mentions an author's name only, e.g., de Retz, and in such cases the fullest possible reference has been given. One of Hume's notable intellectual gifts was his ability to distil several pages of a book into one or two sentences of crisp and accurate synthesis. (This skill is most apparent in his summaries of articles in Bayle' s Dictionary in his "Notes on Philosophy", of which the manuscript is in the Royal Society of Edinburgh Library.) In these instances, page references are impossible and the closest indication one can give is a section or chapter. Some of his references are anonymous, e.g., as an 'elegant writer' says, and so are some quotations. These have been identified with one exception. One anonymous reference (number 24 below) requires explanation because it is both anachronistic and interesting. Hume refers to an observation by "a late eminent philosopher". It is anachronistic because the book to which he refers was published after the Treatise; it is interesting because it provides further evidence of Hutcheson's influence on Hume and the latter' s regard for him. The explanation, for Hutcheson was still alive when Vol.11 of the Treatise appeared in 1739, is that 'late' is here being used in the sense of 'recent' - Hutcheson himself uses the word in the same way in referring to Mandeville when the latter was 54. alive. (An enquiry concerning moral good and evil. Section 1, VI.) Further, the System circulated widely among Hutcheson's friends in Scotland and over so many years that it finally appeared posthumously. That Hume could not cite a published work also accounts for the anonymity of the reference to someone he admired. It is often impossible to determine in which language or in which edition Hume read a particular author. Where there is evidence as to which language he used, the title has been given in that language. There are now so many extant editions of the Treatise that Volume, Part, Chapter and Section references are given, as well as the pagination of Selby-Bigge' s edition, so that readers of other editions may be able to use the index. 1.Vol. 1. Title-page. Tacitus, The Histories, Bk. I. 1. 2.Part 1, Sect. 1, p. 2, n. John Locke, An Essay concerning Human Understanding, Bk. I, Chap. I, 8. 3.Sect. VII, p. 17, n. George Berkeley, A Treatise concerning the Principles of Human Knowledge, Introductixi, Sect. 7, e_t seq. 4.Part II, Sect. II, p. 30, n. Nicolas de Malezieu, Elementa Geometrica. 5.Sect. Ill, p. 35, n. John Locke, Essay, Bk. II, Chap. XIV. 6.Sect. IV, p. 43, n. Antoine Arnauld, La logique ou l'art de penser. Part I, Chap. 5. (In some editions Pierre Nicole is named as co-author. The book is also known as the Port Royal Logic). 7.Sect. IV, p. 46, n. Isaac Barrow, Mathematical Lectures. 8.Part III, Sect. Ill, p. 80, n. Thomas Hobbes, Elements of Philosophy, Part Second, Chap. 9. And Tripos : in Three Discourse. Ill, of Liberty and Necessity. 55. Sect. Ill, p. 80, n. e.g., Samuel Clarke, A Demonstration of the Being and Attributes of God, Props. I-III, et. seq. 10.Sect. Ill, p. 81, n. John Locke, Essay, Bk. IV, Chap. X. 11.Sect. VIII, p. 100 and appendix Vol. Ill, p. 630. Cicero, De Finibus Bonorum et Malorum, Bk. V. 1.2. 12.Sect. XIII, p. 153. Jean Francois Paul de Gondi, Cardinal de Retz, Mémoires, Bk. III. The second 'observation' is from Book... (shrink)

Let h : ℕ → ℚ be a computable function. A real number x is called h-monotonically computable if there is a computable sequence of rational numbers which converges to x h-monotonically in the sense that h|x – xn| ≥ |x – xm| for all n andm > n. In this paper we investigate classes h-MC of h-mc real numbers for different computable functions h. Especially, for computable functions h : ℕ → ℚ, we show that the class h-MC coincides (...) with the classes of computable and semi-computable real numbers if and only if Σi∈ℕ) = ∞and the sum Σi∈ℕ) is a computable real number, respectively. On the other hand, if h ≥ 1 and h converges to 1, then h-MC = SC no matter how fast h converges to 1. Furthermore, for any constant c > 1, if h is increasing and converges to c, then h-MC = c-MC. Finally, if h is monotone and unbounded, then h-MC contains all ω-mc real numbers which are g-mc for some computable function g. (shrink)

Philosopher Kings? The Adjudication of Conflicting Human Rights and Social Values, by George C. Christie, examines the attempts by courts to sort out conflicts involving freedom of expression, including religious expression, on the one hand, and rights to privacy and other important social values on the other. It approaches the subject from a comparative perspective, using principally cases decided by European and United States courts. A significant part of this book analyzes conflicts between freedom of expression and the right (...) to privacy. In a world in which, freedom of expression and privacy are said to be of equal value, the book explores whether it is possible to develop, through case-by-case adjudication, a legal regime which can give clear direction as to what expression is or is not permitted. Otherwise, if such a regime proves impossible, in the guise of recognizing the equal value of expression and privacy, privacy may become de facto the preferred value. (shrink)

This is a sustained critique of materialism. The contributors offer arguments from conscious experience, rational thought, the interaction of mind and body, and the unity and persisting identity of human persons, and develop a wide range of alternatives.

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models. and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey's Theorem for Pairs.

Contextual emergence was originally proposed as an inter-level relation between different levels of description to describe an epistemic notion of emergence in physics. Here, we discuss the ontic extension of this relation to different domains or levels of physical reality using the properties of temperature and molecular shape as detailed case studies. We emphasize the concepts of stability conditions and multiple realizability as key features of contextual emergence. Some broader implications contextual emergence has for the foundations of physics and cognitive (...) and neural sciences are given in the concluding discussion. Relevant facts about algebras of observables are found in the appendices along with an abstract definition of Kubo-Martin-Schwinger states. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

Several studies demonstrate that an intuitive link between agents and order emerges within the first year of life. This appreciation seems importantly related to similar forms of inference, such as the Argument from Design. We suggest, however, that infants and young children may be more accurate in their tendencies to infer agents from order than older children and adults, who often infer intentional agents when there are none. Thus, the earliest inferences about intentional agents based on order may be quite (...) accurate and resistant to non-intentional foils, but with further cognitive development and overgeneralization, links between order and agents may emerge that, with the right socio-cultural prompts, can lead to the Argument from Design. (shrink)

In this paper dedicated to Carlos Alchourrón, we review an issue that emerged only after his death in 1996, but would have been of great interest to him: To what extent do the formal operations of AGM belief change respect criteria of relevance? A natural criterion was proposed in 1999 by Rohit Parikh, who observed that the AGM model does not always respect it. We discuss the pros and cons of this criterion, and explain how the AGM account may be (...) refined, if we so desire, so that it is always respected. En este trabajo dedicado a Carlos Alchourrón consideramos un problema que surgió recién después de su muerte en 1996 pero que seguramente habría sido de gran interés para él: ¿hasta dónde las operaciones formales sobre el cambio de creencias de AGM respetan el criterio de relevancia? Un criterio natural ha sido propuesto en 1999 por Rohit Parikh quien asimismo observó que el modelo AGM no siempre lo respeta. Nosotros discutimos los pros y los contras de este criterio y explicamos cómo podría refinarse AGM para que, si así lo deseáramos, lo respetara siempre. (shrink)

It has generally been observed that cells grow to a certain size before they divide. In the last few years, the PI3K signal transduction pathway has emerged as one of the main signaling routes utilized by cells to control their increase in size. Here we focus on two components of this pathway, PKB and S6K, and briefly review the experiments that initially uncovered their roles in cell size control. In addition, we discuss a number of recent observations suggesting that the (...) generic models used to describe this pathway to date may have been oversimplified. Indeed, recent observations in Drosophila and mouse support a more complex interaction between these signaling components in development. Finally, we have utilized two contemporary studies involving PKB‐ and S6K‐deficient mice as a paradigm to underscore the importance of cell size and to accurately delineate the connections between signaling pathways for human disease, such as diabetes mellitus. BioEssays 24:65–71, 2002. © 2002 John Wiley & Sons, Inc. (shrink)